/* yield.c
 *	Simple program to test whether running a user program works.
 *	
 *	Just do a "syscall" that yields the current thread.
 *
 */

#include "syscall.h"
int a[3];
int b, c;

int
main()
{
	
	Print("\n\nEXEC Call working fine if this prints.\n\n");
	Exit(0);
    /* not reached */
}
